individual corollary

个别化推论